Kleene's formulation of computable function via six schemata is one of the most succinct and useful, and his previous work on lambda functions played a major role in supporting Church 's Thesis that these classes coincide with the intuitively calculable functions. 6 schemata를 통해 계산할 수 함수의 Kleene의 공식 중 하나는 가장 간결하고 유용한, 그리고 람다 함수에 대한 자신의 이전 작품입니다 교회는 '논문은 이러한 클래스를 직관적으로 계산할 수있는 함수들 지원에 맞춰 큰 역할을했다.